<html><head><title>@@textsize</title><meta name="HandheldFriendly" content="True"></head><body>Current value of the "set textsize" option.<br><br><b>@@textsize</b></body></html>